منابع مشابه
Giro, Tour, and Vuelta in the same season.
The exercise volume and intensity are reported of a male professional cyclist (age 30; VO2max 75.0 ml/kg/min) who successfully completed the 2001 Giro d'Italia (May), Tour de France (July), and Vuelta a España (September). The total exercise time during the Giro, Tour, and Vuelta was 90 hours 44 minutes (5444 minutes), 88 hours 23 minutes (5303 minutes), and 72 hours 59 minutes (4379 minutes) r...
متن کاملOn Rely-Guarantee Reasoning
Many semantic models of rely-guarantee have been proposed in the literature. This paper proposes a new classification of the approaches into two groups based on their treatment of guarantee conditions. To allow a meaningful comparison, it constructs an abstract model for each group in a unified setting. The first model uses a weaker judgement and supports more general rules for atomic commands ...
متن کاملRely-Guarantee View Typestate
The combination of mutable state and pointer aliasing is often troublesome due to non-obvious (and usually unspecified) interferences that may occur between non-local parts of the program. We present a type-based approach to statically control aliasing and mutable state in a minimalistic single-threaded procedural language with support for structures and references. By introducing views, re-com...
متن کاملA Lifetime Guarantee
The Theme of this special issue is software sustainability—the capability of software systems to endure different types of change over their lifetimes. In our special features, you’ll find a discussion of technical solutions aimed at supporting software changes via robust architectures. While the technical side is undoubtedly important, discussions of software sustainability often get tangled u...
متن کاملCan Extremism Guarantee Pluralism?
Many models have been proposed to explain the opinion formation in a group of individuals; most of these models study the opinion propagation as the interaction between nodes/agents in a social network. The opinion formation is a very complex process and a realistic model should also take into account the important feedbacks that the opinions of the agents have on the structure of the social ne...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Zbornik radova Pravnog fakulteta Nis
سال: 2019
ISSN: 0350-8501,2560-3116
DOI: 10.5937/zrpfni1983233r